Steady and Fair Rate Allocation for Rechargeable Sensors in Perpetual Sensor Networks Kai-Wei Fan Zizhan Zheng

Source URL: web.cse.ohio-state.edu

• Wireless sensor network
• Wireless networking
• Knowledge representation
• Data types
• B-tree
• Tree
• Flow network
• Sensor node
• Backpressure routing
• Cooperative diversity

Code-Pointer Integrity Volodmyr Kuzentsov, László Szekeres, Mathias Payer, George Candea, R. Sekar, and Dawn Song (c) TriStar Pictures, Inc. & Touchstone Pictures, 1997

Source URL: hexhive.github.io

• Software engineering
• Computing
• Computer programming
• Software bugs
• Data types
• Primitive types
• Memory management
• Pointer
• Swift
• Memory corruption
• Reference
• C dynamic memory allocation

Triggering Deep Vulnerabilities Using Symbolic Execution Dan Caselden, Alex Bazhanyuk, Mathias Payer,

Source URL: hexhive.github.io

• Software engineering
• Computer programming
• C
• Computing
• Data types
• Assertion
• Debugging
• Const
• Sizeof
• Symbolic execution

Array Operators Using Multiple Dispatch Array Operators Using Multiple Dispatch A design methodology for array implementations in dynamic languages Jeff Bezanson

Source URL: karpinski.org

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Array programming languages
• Data types
• Functional languages
• Method
• Array data type
• Multiple dispatch
• Scala
• Type system

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class

Code-Pointer Integrity Volodymyr Kuznetsov∗ , L´aszl´o Szekeres‡ , Mathias Payer†,§ George Candea∗ , R. Sekar‡ , Dawn Song† ∗ Ecole ´ † UC

Source URL: hexhive.github.io

• Software engineering
• Computing
• Computer programming
• Software bugs
• Data types
• Memory management
• Primitive types
• Programming language implementation
• Pointer
• Memory safety
• Dangling pointer
• Buffer overflow protection

2012 ACM@UVa HSPC Java Cheatsheet If Statement Primitive Data Types if ( Boolean Expression ){

Source URL: acm.cs.virginia.edu

Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/

Source URL: ndmitchell.com

• Software engineering
• Computing
• Computer programming
• Data types
• Functional languages
• Primitive types
• Functional programming
• Edit distance
• String
• Haskell
• Id
• Boolean data type

The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

Source URL: caml.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional languages
• Object-oriented programming languages
• Data types
• OCaml
• Generic programming
• Modular programming
• Module
• Set
• Coupling

2012 ACM@UVa HSPC C++ Cheatsheet If Statement Primitive Data Types if ( Boolean Expression ){

Source URL: acm.cs.virginia.edu